Dans le cadre du module Analyse Statique, nous avons dût réaliser un analyseur pour une version simplifier du langage WHILE, en utilisant une méthode d'analyse telle que \emph{Live Variable}, \emph{Reaching Definition}, \emph{Very Busy Expression}, et \emph{Available Expression}.
\paragraph{}
Nous avons choisi d'implémenter la méthode \emph{Live Variable} car elle nous semblait plus simple à implémenter.